A Formal Approach to Building Compositional Agent-Based Simulations

نویسندگان

  • Catholijn M. Jonker
  • Jan Treur
چکیده

Why Read This Chapter? To be introduced to a more formal “computer-science” style of simulation design, especially suited to simulations of multi-level systems (e.g. firms, departments, and people). Abstract This chapter is an introduction to a more formal approach to designing agent-based simulations of organisations (in the widest sense). The basic method is the iterative refinement of structure, process and knowledge, decomposing each abstraction into near-decomposable components that can be (for the most part) then considered separately. Within this over all framework there are two complementary approaches: designing the organisation first, and designing the individual agents first.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Spatial modelling of zonality elements based on compositional nature of geochemical data using geostatistical approach: a case study of Baghqloom area, Iran

Due to the existence of a constant sum of constraints, the geochemical data is presented as the compositional data that has a closed number system. A closed number system is a dataset that includes several variables. The summation value of variables is constant, being equal to one. By calculating the correlation coefficient of a closed number system and comparing it with an open number system, ...

متن کامل

Modelling Cooperative Behaviour for Resource Access in a Compositional Multi-Agent Environment

Modelling and formally specifying agent knowledge required to deal with limited access to resources in a multi-agent situation, is the focus of this paper. Not only the static elements involved but also the dynamic element, namely the behaviour of the system, is explicitly modelled and specified. It will be shown how this results in a flexible, compositional specification that is applicable to ...

متن کامل

Modelling Cooperative Behaviour for Resource Access in a Compositional Multi-Agent Framework*

Modelling and formally specifying agent knowledge required to deal with limited access to resources in a multi-agent situation, is the focus of this paper. Not only the static elements involved but also the dynamic elements, namely the behaviour of the system, is explicitly modelled and specified. It will be shown how this results in a flexible, compositional specification that is applicable to...

متن کامل

Modelling Agents with Uml: an Example in Building Security Evalution

This paper proposes some extensions to UML for agent-based modelling and simulation, where the agents follow either a purely reactive or a hybrid layered approach (reactivity combined with proactivity). The extensions include notations for sensors, effectors and agent’s capabilities and their specification in a formal way. In this work, agent-based simulation is also proposed as a method to hel...

متن کامل

A Formal Petri Net Based Model for Antivirus Update Agent System

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013